Three Realisms and The Idea of Sheaves
youtube.com·1d
🕸️Algebraic Topology
Flag this post
Stochastic computing
scottlocklin.wordpress.com·5h
🏴Scottish Computing
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·1d
🗺️Competency Maps
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
My first fifteen compilers (2019)
🏗️Compiler Archaeology
Flag this post
The Structure of Data
🗂Data structures
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·11h
⚛️Quantum Storage
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
601: Game Theory
🔲Cellular Automata
Flag this post
Down with template (or not)!
cedardb.com·22h
🎯Gradual Typing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
🔓Decompilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🧮Algebraic Archives
Flag this post
If you could upload your mind to a virtual utopia, would you?
newscientist.com·13h
🧲Magnetic Philosophy
Flag this post
Magisterium
✨Algebraic Effects
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Loading...Loading more...